大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IFAC-IFIP Workshop on Real-Time Programming 的图书(共4977本)

Formal Approaches to Software Testing [electronic resource] : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

0
索取号：
作者：Grieskamp、 Wolfgang.、Weise、 Carsten.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Engineering Societies in the Agents World VI [electronic resource] : 6th International Workshop, ESAW 2005, Ku艧adasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers

0
索取号：
作者：Dikenelli、 O臒uz.、Gleizes、 Marie-Pierre.、Ricci、 Alessandro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Chance Discoveries in Real World Decision Making [electronic resource] : Data-based Interaction of Human Intelligence and Artificial Intelligence

0
索取号：
作者：Ohsawa、 Yukio.、Tsumoto、 Shusaku.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006. Proceedings

0
索取号：
作者：Beck、 J. Christopher.、Smith、 Barbara M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Planetary Nebulae Beyond the Milky Way [electronic resource] : Proceedings of the ESO Workshop held at Garching, Germany, 19-21 May, 2004

0
索取号：
作者：Stanghellini、 L.、Walsh、 J. R.、Douglas、 N. G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Recent Advances in Constraints [electronic resource] : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers

0
索取号：
作者：Hnich、 Brahim.、Carlsson、 Mats.、Fages、 Fran莽ois.、Rossi、 Francesca.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Vision in Human-Computer Interaction [electronic resource] : ECCV 2006 Workshop on HCI, Graz, Austria, May 13, 2006. Proceedings

0
索取号：
作者：Huang、 Thomas S.、Sebe、 Nicu.、Lew、 Michael S.、Pavlovi膰、 Vladimir.、K枚lsch、 Mathias.、Galata、 Aphrodite.、Kisa膷anin、 Branislav.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Software Process Change [electronic resource] : International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006. Proceedings

0
索取号：
作者：Wang、 Qing.、Pfahl、 Dietmar.、Raffo、 David M.、Wernick、 Paul.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems [electronic resource] : 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006. Proceedings

0
索取号：
作者：Boavida、 Fernando.、Plagemann、 Thomas.、Stiller、 Burkhard.、Westphal、 Cedric.、Monteiro、 Edmundo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Testing of Communicating Systems [electronic resource] : 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006. Proceedings

0
索取号：
作者：Uyar、 M. 脺mit.、Duale、 Ali Y.、Fecko、 Mariusz A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

DNA Computing [electronic resource] : 11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6-9, 2005. Revised Selected Papers.

0
索取号：
作者：Carbone、 Alessandra.、Pierce、 Niles A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Supersymmetric Mechanics-Vol. 2 [electronic resource] : The Attractor Mechanism and Space Time Singularities

0
索取号：
作者：Bellucci、 Stefano.、Marrani、 Alessio.、Ferrara、 Sergio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Location- and Context-Awareness [electronic resource] : Second International Workshop, LoCA 2006, Dublin, Ireland, May 10-11, 2006. Proceedings

0
索取号：
作者：Hazas、 Mike.、Krumm、 John.、Strang、 Thomas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Interactive Systems. Design, Specification, and Verification [electronic resource] : 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers

0
索取号：
作者：Gilroy、 Stephen W.、Harrison、 Michael D.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Subspace, Latent Structure and Feature Selection [electronic resource] : Statistical and Optimization Perspectives Workshop, SLSFS 2005, Bohinj, Slovenia, February 23-25, 2005, Revised Selected Papers

0
索取号：
作者：Saunders、 Craig.、Grobelnik、 Marko.、Gunn、 Steve.、Shawe-Taylor、 John.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Chemical Abundances and Mixing in Stars in the Milky Way and its Satellites [electronic resource] : Proceedings of the ESO Workshop held in Castiglione della Pescaia, Italy, 13鈥ᷠSeptember, 2004

0
索取号：
作者：Randich、 Sofia.、Pasquini、 Luca.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.